Data Structures Considered Harmful
نویسندگان
چکیده
We describe an approach to logic programming where the execution of a pure logic program is ordered on “temporal” values in the program. The resulting programs are relational and avoid a premature commitment to data structures. This is a strong advantage in a programming language. We present the programming language Starlog as an example of this approach and give a summary of its denotational and operational semantics. Despite being a pure logic language with a monotonic semantics the language is still able to directly mutate data, including assignment of values to variables. Using sophisticated implementation techniques, including bottom-up execution, constraints and the compilation of relations to data structures, we claim that the approach can be executed efficiently.
منابع مشابه
The Trolley Problem Version of Autonomous Vehicles
The Trolley problem is very well-known ethics dilemma about actively killing one or sometimes even more persons in order to save more persons. The problem can occur in autonomous vehicles when the vehicle realizes that there is no way to prevent a collision, the computer of the vehicle should analyze which collision is considered to be the least harmful collision. In this paper we suggest a met...
متن کاملIntegrative moral judgment: dissociating the roles of the amygdala and ventromedial prefrontal cortex.
A decade's research highlights a critical dissociation between automatic and controlled influences on moral judgment, which is subserved by distinct neural structures. Specifically, negative automatic emotional responses to prototypically harmful actions (e.g., pushing someone off of a footbridge) compete with controlled responses favoring the best consequences (e.g., saving five lives instead ...
متن کاملFuzzy retrieval of encrypted data by multi-purpose data-structures
The growing amount of information that has arisen from emerging technologies has caused organizations to face challenges in maintaining and managing their information. Expanding hardware, human resources, outsourcing data management, and maintenance an external organization in the form of cloud storage services, are two common approaches to overcome these challenges; The first approach costs of...
متن کاملInterested consumers’ awareness of harmful chemicals in everyday products
Background Everyday products can contain a multitude of harmful substances unnoticed by most consumers, because established risk communication channels reach only part of the society. The question is, whether at least interested and informed consumers are able to use risk communication tools and assess harmful chemicals in products. Results An online survey investigated the awareness of 1030 ...
متن کاملTempo Curves Considered Harmful
* The title is a paraphrase on Edsger W. Dijkstra's note in the March 1968 "Communications of the ACM", named "Goto Statement Considered Harmful". It stressed the importance of structure in computer programs. Knowing this, the parallel with unstructured representations of tempo (like tempo curves) is obvious.
متن کامل